L`Association for Symbolic Logic ou ASL, est une organisation internationale regroupant des spécialistes et chercheurs en logique mathématique et logique philosophique. L`ASL a été fondée en 1936 et son premier président fut Alonzo Church. Le président actuel de l`ASL est .